Extending the Boundaries of Model-Based Development to Account for Errors
نویسندگان
چکیده
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed from an error-free perspective, have been informed to account for erroneous user behavior. We believe this perspective extends the general boundaries of model based development (MBD), by taking into account additional information relating to previous experiences of failure, for the design of safer safety-critical interactive systems. We illustrate our ideas using a fatal mining accident case study.
منابع مشابه
Development of Lifetime Prediction Model of Lithium-Ion Battery Based on Minimizing Prediction Errors of Cycling and Operational Time Degradation Using Genetic Algorithm
Accurate lifetime prediction of lithium-ion batteries is a great challenge for the researchers and engineers involved in battery applications in electric vehicles and satellites. In this study, a semi-empirical model is introduced to predict the capacity loss of lithium-ion batteries as a function of charge and discharge cycles, operational time, and temperature. The model parameters are obtai...
متن کاملDesign, Development and Evaluation of an Orange Sorter Based on Machine Vision and Artificial Neural Network Techniques
ABSTRACT- The high production of orange fruit in Iran calls for quality sorting of this product as a requirement for entering global markets. This study was devoted to the development of an automatic fruit sorter based on size. The hardware consisted of two units. An image acquisition apparatus equipped with a camera, a robotic arm and controller circuits. The second unit consisted of a robotic...
متن کاملDesigning a Bankruptcy Prediction Model Based on Account, Market and Macroeconomic Variables (Case Study: Cyprus Stock Exchange)
The development of the Cyprus Stock Exchange together with the increasing trend of investors’ presence in financing activities has led to the importance of this market. In such circumstances, the first step towards a sustainable development of the Exchange is to support the investors. Risk of bankruptcy for the investee is a major challenge that an inexperienced stock investor encounters. In th...
متن کاملExtending Operational Zone of Rotary Power Flow Controller by Controlling Tap-changers of Transformers
This paper proposes a method for extending the ability of rotary power flow controller (RPFC) using tap-changer of the RPFC’s transformers. A detailed model of the device is presented to analyze the effects of the tap changer operation on the performance of the RPFC. To evaluate the results, the RPFC model is simulated using PSCAD/EMTDC software. Dynamic operation of the RPFC on a 400 kV transm...
متن کاملNegative Selection Based Data Classification with Flexible Boundaries
One of the most important artificial immune algorithms is negative selection algorithm, which is an anomaly detection and pattern recognition technique; however, recent research has shown the successful application of this algorithm in data classification. Most of the negative selection methods consider deterministic boundaries to distinguish between self and non-self-spaces. In this paper, two...
متن کامل